I-homomorphism for BL-I-General L-fuzzy Automata

Taking into account the notion of BL-general fuzzy automaton, in the present study we define the notation of BL-intuitionistic general L-fuzzy automaton and I-bisimulation for BL-intuitionistic general L-fuzzy automaton.Then for a given BL-intuitionistic general L-fuzzy automaton, we obtain the greatest I-bisimulation. According to this notion, we give the structure of quotient BL-intuitionistic general L-fuzzy automaton. Fortunately, this quotient is the minimal BL-intuitionistic general L-fuzzy automaton. In addition, in this study, we show that if there is an I-bisimulation between two BL-intuitionistic general L-fuzzy automata, then they have the same behavior. Furthermore, we give an algorithm which determines the I-bisimulation between any two BL-intuitionistic general L-fuzzy automata. To clarify the notions and the results obtained in this paper, we have submitted some examples as well.